double get_time();